Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
61	Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints∗ Christian Bessiere LIRMM, CNRS and U. Montpellier Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
62	The Thousand Faces of Constraint Propagation Emmanuel Hebrard Toulouse Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-03-05 12:20:11 Mathematical optimization Constraint satisfaction problem Constraint satisfaction Local consistency Decomposition method Linear programming relaxation Constraint programming Software engineering Computer programming
63	On Backdoors To Tractable Constraint Languages Clement Carbonnel1,3 , Martin C. Cooper2 , and Emmanuel Hebrard1 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:24:32 Applied mathematics Parameterized complexity Constraint satisfaction problem Constraint satisfaction Idempotence Local consistency P versus NP problem Sheaf Complexity of constraint satisfaction Constraint programming Mathematics Theoretical computer science
64	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
65	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
66	Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems Jonathan P. Pearce and Milind Tambe∗ University of Southern California Computer Science Department {, tambe@usc Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 04:00:37 Applied mathematics Operations research Distributed constraint optimization Convex optimization Computational complexity theory Constraint satisfaction problem Linear programming Constraint optimization Combinatorial optimization Constraint programming Mathematical optimization Theoretical computer science
67	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
68	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
69	Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-09-29 10:17:17 Operations research Constraint programming Convex optimization Linear programming Constraint satisfaction Shortest path problem Automated planning and scheduling Mathematical optimization Planning Domain Definition Language Mathematics Applied mathematics Theoretical computer science
70	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics

UPDATE